We study several perfect set properties of the Baire space which follow from the Ramsey property ω→(ω) ω . In particular we present some independence results which complete the picture of how these perfect set properties relate to each other.

El objetivo de este trabajo es presentar en un solo cuerpo tres maneras de relativizar (o generalizar) el concepto de conjunto constructible de Gödel que no suelen aparecer juntas en la literatura especializada y que son importantes en la Teoría de Conjuntos, por ejemplo para resolver problemas de consistencia o independencia. Presentamos algunos modelos resultantes de las diferentes formas de relativizar el concepto de constructibilidad, sus propiedades básicas y algunas formas débiles del Axioma de Elección válidas o no válidas en (...) ellas. (shrink)

En la primera parte realizo una reconstrucción de la postura infinitista de Peirce a partir de los argumentos formulados en sus textos de juventud. En la segunda parte formulo rápidamente el problema del regreso epistémico de la justificación y reconstruyo tres objeciones clásicas: la objeción de las mentes finitas, la objeción del origen inexplicado, y la objeción de la descripción errada. En la tercera parte muestro cómo en sus textos de juventud Peirce consideró todas estas objeciones y cómo trató de (...) enfrentarlas. En la cuarta parte me adentraré en el periodo de madurez de Peirce para mostrar cómo, con los conceptos de duda y creencia, es posible formular una respuesta más robusta a las objeciones. Finalmente, en la última parte, iré un poco más allá de Peirce, pero sin abandonar el espíritu peircea- no, para mostrar cómo es posible explicar el carácter finito de nuestro ejercicio habitual de dar razones, sin que esto vaya en contravía de la postura infinitista doxástica peirceana sobre la estructura de la justificación. -/- . (shrink)

A complete bibliographical compilation: sociological, legal, political and social works of Spanish sociologist and social philosopher Antonio Perpiñá Rodríguez (1910-1984).

¿Qué ha pasado con el problema del cardinal del continuo después de Gödel (1938) y Cohen (1964)? Intentos de responder esta pregunta pueden encontrarse en los artículos de José Alfredo Amor (1946-2011), "El Problema del continuo después de Cohen (1964-2004)", de Carlos Di Prisco , "Are we closer to a solution of the continuum problem", y de Joan Bagaria, "Natural axioms of set and the continuum problem" , que se pueden encontrar en la biblioteca digital de mi blog de (...) Lógica Matemática y Fundamentos de la Matemática (ver). También en la entrada "The Continuum Hypothesis" de la web de Enciclopedia de Filosofía de la Universidad de Stanford existe información importante y actualizada al respecto. En esta breve nota se comenta sobre el tema de una manera divulgativa. (shrink)

Antonio Caso, “La existencia como economía y como caridad” (1916). Translated with Jose G. Rodriguez Jr. as “Existence as Economy and as Charity,” in 20th Century Mexican Philosophy: Essential Readings, eds. Carlos Alberto Sánchez and Robert Eli Sanchez, Jr. (New York: Oxford University Press, 2017).

En 1960 ingresaba José María Haro Salvador en la Real Academia Valenciana de Jurisprudencia y Legislación con un discurso titulado «Relaciones y fronteras entre la Caridad y la Justicia». Tomaba cuerpo ahí la experiencia dilatada de un jurista cuya pasión por lo social le había conducido de forma absolutamente natural desde su juventud hacia los problemas jurídicos relacionados con el mundo del trabajo y la promoción social de los obreros. Era en una época, además, marcada por un importante proceso de (...) institucionalización de organismos públicos, procedimientos y discursos sin referencia a los cuales no se entendería en muy buena medida la España del presente. En este proceso tuvo también José María Haro un papel decisivo, tanto por su labor en la magistratura del trabajo, de la que fue primer titular en la Valencia de la postguerra, como en el Instituto Nacional de Previsión (I. N. P.), cuya delegación provincial comenzó a presidir en 1950. Ahí encontró un canal extraordinario para la proyección de sus ideales sociales, germinados en el suelo del magisterio pontificio y de la tradición del catolicismo social que tan importante impulso recibió en Valencia entre los siglos XIX y XX, gracias a las figuras insignes del P. Antonio Vicent, Antonio y Rafael Rodríguez de Cepeda, Juan Reig Genovés y muchos otros. De todos ellos se declara en débito José María Haro a lo largo de las páginas que componen este libro, muchas de ellas publicadas hoy por primera vez, más de medio siglo después de su redacción. Sin duda el paso del tiempo se hará notar en muchas de estas ideas, que necesariamente deben ser leídas en su contexto. En estos últimos cincuenta años han sido enormes los cambios producidos en el terreno de las ideas tanto como en el de las instituciones. Las leyes se suceden, las obras se transforman, algunas incluso mueren, pero los principios permanecen, porque no tienen su fuente en las circunstancias, necesariamente variables, de nuestra condición histórica, ni en las orientaciones particulares de una determinada política o de un régimen. Al contrario, beben del Evangelio y del derecho natural, de cuya síntesis y vitalidad es todo este libro un penetrante y constante reclamo. (shrink)

Esta investigación retoma la obra de Gabriel García Márquez, Noticia de un secuestro (1996), con la volición de cuestionar la idea de Estado nación que está inmersa en el libro. Para ello, es necesario entender que la naturaleza del texto exige un conocimiento amplio al lector o al intérprete, puesto que su contenido revela datos multidisciplinarios. Además, es insoslayable realizar un análisis discursivo de la historia de ese contexto y cotejar con pasajes del mismo libro. Para facilitar esta labor, la (...) extrapolación de conceptos del teórico Luis Rodríguez Manzanera será de utilidad, ya que él despliega definiciones de Criminología, un tema frecuente en la obra. Verbigracia, la macrocriminalidad, una noción que él postula, permite que se comprenda la complexión del periodo histórico finisecular del siglo XX en Colombia, etapa que le corresponde a Noticia de un secuestro. Por otro lado, es menester dilucidar que este estudio no se reduce a lo literario, lo histórico y lo criminológico, sino que abarca distintas disciplinas, por lo que la exigencia en la consolidación epistemológica e interpretativa estará demostrada consuetudinariamente, sin obviar la inmanencia de la obra. Este tipo de análisis interdisciplinarios ya ha sido trabajado desde los Estudios Culturales, tal como se constata en las investigaciones de Richard Johnson (2000) o Néstor García Canclini (1997). De igual modo, el intento de establecer lineamientos y conexiones entre disciplinas como las de Literatura y Derecho ya ha sido desarrollado por Stanley Fish (1986), Faustino Martínez (2005), Carlos Pérez (2006) y Denise Schalet (2014). A diferencia de estos abordajes ya estudiados, el objetivo de esta investigación es detectar y fundamentar cómo se articula una propuesta ideológica desde una configuración que reanuda elementos históricos y literarios. En específico, lo que se busca es argumentar por qué fracasó implícitamente un proyecto sociopolítico de democracia y progreso, a partir de un panorama de violencia, narcoterrorismo, corrupción, negociaciones ilícitas, transgresión a los derechos humanos e inseguridad ciudadana. Con todo ello, esta tesis de maestría terminará siendo fructuosa para análisis postremos de discursos que tienen como esencia un soporte multidisciplinario. (shrink)

El trabajo realiza un recorrido histórico sumario por la siempre presente temática axiológica en el pensamiento filosófico latinoamericano. Luego de una introducción en la que se abunda sobre las razones por las cuales el tema de los valores siempre ha estado presente en la filosofía, se analiza su trayectoria en América Latina a través de los siguientes apartados: "El pensamiento latinoamericano: una historia cargada de contenido axiológico", "La crítica al positivismo y la introducción a un pensamiento explícitamente axiológico", "Adopción de (...) un paradigma axiológico preponderante", "Oposición al predominio axiológico del objetivismo fenomenológico", "Multidireccionalidad axiológica hacia los setenta", ¿Fin del pensamiento axiológico latinoamericano?", "Renacer teórico de la axiología". (shrink)

Sumário. Apresentação. PARTE I. 1. O legado filosófico de P. F. Strawson, Itamar Luís Gelain e Jaimir Conte; 2 . Strawson e o caso dos metafísicos descritivos, Itamar Luís Gelain; 3. Metafísica e linguagem comum: sobre uma conturbada herança wittgensteiniana de Strawson, Jônadas Techio; 4. Strawson e Descartes, Albertinho Luiz Gallina; 5. Strawson: sobre Kant e Berkeley, Robert Calabria; 6. O empirismo pós-kantiano de Strawson, Wenceslao J. González; 7. Reabilitando Strawson, Marco Antonio Franciotti; 8. Strawson e o ceticismo em Individuals, (...) Plínio Junqueira Smith; 9. Strawson e a causação visível, João Paulo Monteiro; 10. A verdade dos fatos, Susana Badiola; 11. Estabelecer limites: implicações epistemológicas da lógica, Roberta Corvi; 12. Referência e termos singulares, Carlos E. Caorsi; 13. Strawson: da experiência possível para a ação possível, Márlon Henrique Teixeira; 14. Atitudes reativas e responsabilidade moral, Cristina de Moraes Nunes; 15. Strawson e Hume: uma comparação a propósito de “Moralidade social e ideal individual”, Amán Rosales Rodríguez; PARTE II. 16. Liberdade e ressentimento, P. F. Strawson. Tradução: Jaimir Conte; 17. Moralidade social e ideal individual, P. F. Strawson, Tradução: Jaimir Conte. Seleção bibliográfica. (shrink)

In Brazil, the social demand for veterinary expertise is growing. However, there is still a shortage of professionals trained in this area to apply specific knowledge to each case. Studies and research into forensic veterinary medicine are necessary for veterinary experts to assist in investigations and legal proceedings. Veterinary medicine has subjects on its curriculum that cover the knowledge needed to apply in the fields of animal health, public health and the environment. The interaction between human and veterinary medicine, as (...) well as other areas of health, is of great importance in the prevention and control of various diseases, both in animals and humans. Some cases of infectious bovine abortion have a major impact not only on cattle farming and animal health, but also on public and environmental health. The concept of "One Health" integrates human medicine and health professionals. In this context, knowledge of infectious abortive diseases that affect animal, human and environmental health is fundamental. Cattle are affected by specific infectious abortive diseases, caused by pathogens with different forms of presentation and transmission mechanisms. These include brucellosis, leptospirosis and listeriosis, which are potentially zoonotic diseases. Controlling these diseases can contribute to effective public health actions and reduce global health risks. In order to establish the diagnosis of these diseases, it is essential to properly collect specimens from live or dead animals under biosafety and biosecurity conditions, following the chain of custody for each case. These procedures allow for greater success in diagnosing the suspected agent and facilitate the investigation of other causes. Animal health standards for the prophylaxis and control of these diseases are established by specific legislation, including those of the Ministry of Agriculture, Livestock and Supply (MALS). This literature review was based on current knowledge on the Pubmed platform, Google Scholar, articles and textbooks. The aim of this article is to identify, understand and discuss the main infectious abortive diseases of cattle in the legal and forensic context, which have an impact on cattle farming, animal health, food safety, public and environmental health. -/- Referências bibliográficas Abdullah, N. M., Mohammad, W. M. Z. W., Shafei, M. N., Sukeri, S., Idris, Z., Arifin, W. N., Nozmi, N., Saudi, S. N. S., Samsudin, S., & Zainudin, A.-W. (2019). Leptospirosis and its prevention: knowledge, attitude and practice of urban community in Selangor, Malaysia. BMC Public Health, 19(1), 1–8. Agrimani, D. S. R., Rui, B. R., Cruz, I. V, Romano, R. M., & Lopes, H. C. (2011). Retenção de Placenta em Vacas e Éguas: Revisão de Literatura. Revista Científica Eletrônica de Medicina Veterinária, 9(16), 1–12. Albuquerque, F. R. G., Dessanti, G. A., Neto, J. A. A., Marinho, M. R., & Barros, R. B. P. (2018). Os efeitos e consequências da leptospirose na gestação. Cadernos da Medicina-UNIFESO, 1(1), 75–82. Alencar, Á. G. (2001). Do conceito estratégico de segurança alimentar ao plano de ação da FAO para combater a fome. Revista Brasileira de Política Internacional, 44(1), 137–144. Almeida, Í. C., Sena, L. M., Maretto, V., & Martins, C. B. (2019). Aspectos relacionados a retenção de placenta em vacas. PUBVET, 13(1), 1–7. Amaral, J. B., & Tremori, T. M. (2022). Exame de corpo de delito nas perícias de bem-estar em bovinos leiteiros: Revisão. PUBVET, 16(4), 1–14. Amaral, J. B., Tremori, T. M., Silva, W. L., & Reis, H. M. G. (2023). Perícias legal e forense no laboratório veterinário: Revisão. PUBVET, 17(7), e1420. Amaral, J. B., Trevisan, G., Tremori, T. M., & Guerra, S. T. (2018). Fundamentos e aplicações da medicina veterinária forense no bem-estar de bovinos leiteiros: Revisão. PUBVET, 12(2), 1–13. Antoniassi, N. A. B., Santos, A. S., Oliveira, E. C., Pescador, C. A., & Driemeier, D. (2007). Diagnóstico das causas infecciosas de aborto em bovinos. Biológico, 69(2), 69–72. Assis, A. C. S. G., & Braga, R. S. (2020). Responsabilidade técnicas na medicina veterinária. Medvep. Autran, A., Alencar, R., & Viana, R. B. (2017). Cinco liberdades. PETVet Radar, 1(3), 1–2. Barancelli, G. V., Silva-Cruz, J. V., Porto, E., & Oliveira, C. A. F. (2011). Listeria monocytogenes: ocorrência em produtos lácteos e suas implicações em saúde pública. Arquivos Do Instituto Biológico, 78, 155–168. Barbosa, G., Baptista, R. F., Naame, G., & Batalha, F. (2023). Principais irregularidades identificadas pela vigilância sanitária em açougues localizados no município de Nilópolis, Rio de Janeiro. PUBVET, 17(3), 1–9. Basso, D. P., Balzan, V. Z., Schrenk, R. D., Santos, J. L. L., & Cardoso, J. S. (2022). Suspeita de infecção por Rhodococcus equi em pônei neonato: relato de caso. Salão Do Conhecimento, 8(8). BRASIL (1968). Lei Federal nº 5.550, de 28 de dezembro de 1968. Dispõe sobre o exercício da profissão de Médico Veterinário e cria os Conselhos Federal e Regionais de Medicina Veterinária. Diário Oficial da União, Brasília, DF, 29 dez. 1968. BRASIL (1990). Lei Federal nº 8.080, de 19 de setembro de 1990. Dispõe sobre as condições para a promoção, proteção e recuperação da saúde, a organização e o funcionamento dos serviços correspondentes e dá outras providências. Diário Oficial da União, Brasília, DF, 20 set. 1990. BRASIL (1998). Lei Federal nº 9.605, de 12 de fevereiro de 1998. Dispõe sobre as sanções penais e administrativas derivadas de condutas e atividades lesivas ao meio ambiente, e dá outras providências. Diário Oficial da União, Brasília, DF, 13 fev. 1998. BRASIL (1998). Ministério da Saúde, Conselho Nacional de Saúde, Resolução 287, de 8 de outubro de 1998. Dispõe sobre o Plenário do Conselho Nacional de Saúde em reunião nos dias 7 e 8 de 1998. BRASIL (2017). Decreto Federal nº 9.013, de 29 de março de 2017. Estabelece normas para a inspeção técnica e fiscalização sanitária de animais vivos, produtos e subprodutos de origem animal. Diário Oficial da União, Brasília, DF, 30 mar. 2017. BRASIL (2006). Ministério da Agricultura, Pecuária e Abastecimento. Instrução Normativa MAPA nº 65, de 3 de novembro de 2006. Estabelece padrões para garantir a qualidade do sêmen utilizado na reprodução bovina. Diário Oficial da União, Brasília, DF, 6 nov. 2006. BRASIL (2013). Ministério da Agricultura, Pecuária e Abastecimento. Instrução Normativa MAPA nº 50, de 21 de novembro de 2013. Estabelece diretrizes para a coleta de materiais biológicos destinados a exames laboratoriais em animais terrestres. Diário Oficial da União, Brasília, DF, 22 nov. 2013. BRASIL (2017). Ministério da Agricultura, Pecuária e Abastecimento. Instrução Normativa MAPA nº 44, de 20 de setembro de 2017. Estabelece medidas para o controle e erradicação da leptospirose bovina. Diário Oficial da União, Brasília, DF, 21 set. 2017. BRASIL (2018). Ministério da Agricultura, Pecuária e Abastecimento. Portaria MAPA nº 1.138, de 8 de junho de 2018. Normas para a prevenção, controle e erradicação da brucelose e da tuberculose animal. Diário Oficial da União, Brasília, DF, 11 jun. 2018. BRASIL (2017). Instrução normativa nº 10, de 3 de março de 2017. Brasília, Distrito Federal: Diário Oficial da União. 2017. Carvalho, R. F. B., Santos, H. P., Mathias, L. A., Pereira, H. M., Paixão, A. P., Costa Filho, V. M., & Alves, L. M. C. (2016). Frequência de brucelose bovina em rebanhos leiteiros e em seres humanos na região central do estado do Maranhão, Brasil. Arquivos do Instituto Biológico, 83, e1042014. Castro, J. R., Salaberry, S. R. S., Cardoso Neto, A. B., Ávila, D. F., Souza, M. A., & Lima-Ribeiro, A. M. C. (2010). Leptospirose canina-Revisão de literatura. PUBVET, 4, Art-917. Castro, J. R., Salaberry, S. R. S., Ribeiro, V. C., Souza, M. A., & Lima-Ribeiro, A. M. C. (2010). Brucelose canina-Revisão de literatura. PUBVET, 4(41), Art-981. CFMV. (2017). Código de ética do médico veterinário. Diário Oficial da União. Chaiblich, J. V., Lima, M. L. S., Oliveira, R. F., Monken, M., & Penna, M. L. F. (2017). Estudo espacial de riscos à leptospirose no município do Rio de Janeiro (RJ). Saúde em Debate, 41, 225–240. Coiro, C. J., Langoni, H., Silva, R. C., & Ullmann, L. S. (2011). Fatores de risco para leptospirose, leishmaniose, neosporose e toxoplasmose em cães domiciliados e peridomíciliados em Botucatu-SP. Veterinária e Zootecnia, 18(3), 393–407. Correa Júnior, F. F., & Silva, J. R. G. (2021). Responsabilidade técnica de animais de produção na área de produção animal – Confinamento de bovinos. In A. C. S. G. Assis & R. S. Braga (Eds.), Responsabilidade técnico na medicina veterinária. MED VET Livros. Corrêa, S. H. R., Vasconcelos, S. A., Teixeira, A. A., Dias, R. A., Guimarães, M. A. B., & Ferreira Neto, J. S. (2000). Epidemiologia da leptospirose em animais silvestres na Fundação Parque Zoológico de São Paulo. Brazilian Journal of Veterinary and Animal Science, 41(3), 189–193. Costa, M. (2001). Brucelose bovina e equina. In F. Riet-Correa, A. L. Schild, & R. A. A. Lemos (Eds.), Doenças de ruminantes e equinos (pp. 187–197). Varela Editora e Livraria Ltda. Cruz, C. D., Martinez, M. B., & Destro, M. T. (2008). Listeria monocytogenes: Um agente infeccioso ainda pouco conhecido no Brasil. Alimentos e Nutrição, 19, 195–206. Dallari Júnior, J. A. (2021). Direito médico veterinário. Editora Recanto. DA SILVA, Emanuel Isaque Cordeiro. Relação e Efeitos Bioquímico-nutricionais Sobre a Retenção de Placenta em Vacas. 2020. Dias, F. E. F., Aoki, S. M., Mesquita, L. G., Nunes, C. M., & Garcia, J. F. (2006). Detecção de Leptospira pomona em sêmen bovino por eletroforese capilar fluorescente. Brazilian Journal of Veterinary Research and Animal Science, 43(3), 394–399. Donate, B. R. S., Prado, L. B., Espinoza, L. H. C., Fernandes, M. C., Pedrão, M. B. M., & Santos, E. W. C. O. (2022). Conhecimento da população brasileira quanto à leptospirose, sua profilaxia e transmissão. PUBVET, 16(5), 1–8. Esteves, S. B., Santos, C. M., Silva, B. C. S., Salgado, F. F., Guilloux, A. G. A., Cortez, A., Lucco, R. C., & Miotto, B. A. (2023). Time for change? A systematic review with meta-analysis of leptospires infecting dogs to assess vaccine compatibility in Brazil. Preventive Veterinary Medicine, 105869. Ferreira Júnior, J. A., Nascimento, K. A., & Miguel, M. P. (2015). Aborto e morte neonatal por Listeria monocytogenes em ruminantes. Revista de Literatura: Clínica e Cirurgia de Grandes Animais, 14, 85–89. Ferreira, V., Wiedmann, M., Teixeira, P., & Stasiewicz, M. J. (2014). Listeria monocytogenes persistence in food-associated environments: epidemiology, strain characteristics, and implications for public health. Journal of Food Protection, 77(1), 150–170. Fogaça, D. C., Dutra, H., & Oliveira, C. H. (2018). Leptospirose em propriedade rural com histórico de aborto em vacas leiteiras no município de Trindade, Estado de Goiás: Relato de Caso. Enciclopédia Biosfera, 15(27), 108–120. França, C. R., Silva, I. L. N., Costa, W. A., Ferreira, V. L., Castro, L. L., & Toniolli, R. (2023). Aborto em bovinos e bubalinos: Causas específicas e inespecíficas. Ciência Animal, 33(1), 114–128. Freitas, J. A., Galindo, G. A. R., Santos, E. J. C., Sarraf, K. A., & Oliveira, J. P. (2001). Risco de brucelose zoonótica associado a suínos de abate clandestino. Revista de Saúde Pública, 35(1), 101– 102. Genovez, M. E. (2014). Brucelose humana reemerge como preocupante doença ocupacional. Boletim APAMVET, 5(5), 15–19. Genovez, M. E. (2016). Leptospirose em animais de produção. In J. Megid, M. G. Ribeiro, & A. C. Paes (Eds.), Doenças Infecciosas em Animais de Produção e de Companhia (pp. 378–386). Roca, Brasil. Genovez, M. E., & Pituco, E. M. (2020). Causas infecciosas de mortalidade embrionária e fetal em bovinos. In J. Megid, M. G. Ribeiro, & A. C. Paes (Eds.), Doenças infecciosas em animais de produção e de companhia. Roca Ltda. Gombas, D. E., Chen, Y., Clavero, R. S., & Scott, V. N. (2003). Survey of Listeria monocytogenes in ready-to-eat foods. Journal of Food Protection, 66(4), 559–569. Gonçalves, R. C., Faleiro, J. H., Santos, M. N. G., Carvalho, S. A., & Malafaia, G. (2016). Micro- organismos emergentes de importância em alimentos: Uma revisão de literatura. Revista de Saúde e Biologia, 11, 71–83. Kahn, L. H. (2017). Perspective: The one-health way. Nature, 543(7647), S47–S47. Kells, J., & Gilmour, A. (2004). Incidence of Listeria monocytogenes in two milk processing environments, and assessment of Listeria monocytogenes blood agar for isolation. International Journal of Food Microbiology, 91(2), 167–174. Krauzer, A. S., Acher, D. P. F., Oliveira, K. D., Gabriel, J., & Berto, V. (2022). Avaliação do conhecimento dos proprietários e vacinação contra às doenças reprodutivas em bovinos das propriedades na linha Cocal-Rondônia. Revista Ibero-Americana de Humanidades, Ciências e Educação, 8(10), 1893–1902. Kuibida, K. V., & Borges, C. M. N. (2021). Responsabilidade técnica na área de produção animal: confinamento de bovino. Medvep, 179–201. Langoni, H. (1999). Leptospirose: aspectos de saúde animal e de saúde pública. Revista de Educação Continuada Em Medicina Veterinária e Zootecnia Do CRMV-SP, 2(1), 52–58. Larson, C. R., Dennis, M., Nair, R. V, Llanes, A., Peda, A., Welcome, S., & Rajeev, S. (2017). Isolation and characterization of Leptospira interrogans serovar Copenhageni from a dog from Saint Kitts. JMM Case Reports, 4(10), e005120. Lawinsky, M. L. J., Ohara, P. M., Elkhoury, M. R., Faria, N. C., & Cavalcante, K. R. L. J. (2010). Estado da arte da brucelose em humanos. Revista Pan-Amazônica de Saúde, 1(4), 75–84. Leitão, M. V. N., & Cantarino, L. (2021). Hospital escola de grandes animais: Papel na vigilância de zoonoses de importância em saúde pública. PUBVET, 15(7), 1–6. Lima, N. T. S., Araújo, L. R. T., Araújo, B. V. S., Batista, V. H. T., Veloso, L. S., & Leite, A. I. (2020). A Saúde Única na perspectiva da educação popular em saúde. Research, Society and Development, 9(10), e8839109314. Llano, H. A. B. (2013). Revisão e situação atual da brucelose e leptospirose em bovinos no Brasil e na Colômbia. Seminário Apresentado Junto à Disciplina Seminários Aplicados Do Programa de Pós- Graduação Em Ciência Animal Da Escola de Veterinária e Zootecnia da Universidade Federal de Goiás, Goiânia. Loureiro, A. P., & Lilenbaum, W. (2020). Genital bovine leptospirosis: A new look for an old disease. Theriogenology, 141, 41–47. Macedo, I., Homem, J. S., & Carlot, P. A. (2021). A importância da brucelose bovina na saúde pública - Revisão Bibliográfica. Anais Congrega MIC, 17, 7–10. Machado, G. B., Neto, A. C. S., Dewes, C., Fortes, T. P., Pacheco, P. S., Freitas, L. S., Felix, S. R., & Silva, É. F. (2017). Leptospirose Humana: uma revisão sobre a doença e os fatores de risco associados à zona rural. Science And Animal Health, 5(3), 238–250. Maia, A. K., & Pagotto, R. F. (2018). Atuação do médico veterinário na área forense. In G. C. M. Garcia, Y. S. Gonçalves, K. A. Rosa, & L. R. Wolf (Eds.), Tópicos em medicina veterinária legal. Universidade Federal do Paraná, UFPR. Massad, M. R. R., & Massad, J. M. (2017). Responsabilidade profissional. In R. A. Tostes, S. T. J. Reis, & V. V Castilho (Eds.), Tratado de Medicina Veterinária Legal. Medvep. Medeiros, M. I. M., & Oliveira, H. F. (2021). Responsabilidade técnica na área ambiental. In A. C. S. G. Assis & R. S. Braga (Eds.), Responsabilidade técnico na medicina veterinária. MED VET Livros. Megid, J., Ribeiro, M. G., & Paes, A. C. (2016). Doenças infecciosas em animais de produção e de companhia. Guanabara, Koogan. Meirelles-Bartoli, R. B., Sousa, D. B., & Mathias, L. A. (2014). Aspectos da brucelose na saúde pública veterinária. PUBVET, 8, 1136–1282. Mesquita, M. O., Trevilato, G. C., Saraiva, L. H., Schons, M. S., & Garcia, M. I. F. (2016). Material de educação ambiental como estratégia de prevenção da leptospirose para uma comunidade urbana reassentada. Cadernos Saúde Coletiva, 24(1), 77–83. Mineiro, A. L. B. B., Bezerra, E. E. A., Vasconcellos, S. A., Costa, F. A. L., & Macedo, N. A. (2007). Infecção por leptospira em bovinos e sua associação com transtornos reprodutivos e condições climáticas. Arquivo Brasileiro de Medicina Veterinária e Zootecnia, 59, 1103–1109. Miranda, M. (2018). A contribuição do médico veterinário a saúde única-one health. Psicologia e Saúde em Debate, 4(Suppl1), 34. Mohammed, H. O., Atwill, E., Dunbar, L., Ward, T., McDonough, P., Gonzalez, R., & Stipetic, K. (2010). The risk of Listeria monocytogenes infection in beef cattle operations. Journal of Applied Microbiology, 108(1), 349–356. Nardi Júnior, G., Ribeiro, M. G., Monteiro, F. M., Jesus, T. L., & Vieira, R. M. (2012). Brucelose em touros: Uma visão da doença no Brasil com ênfase ao diagnóstico e sua importância ao agronegócio. Tekhne e Logos, 3(3), 33–53. Nascimento, A. J. S., & Nardi Júnior, G. (2022). Programa de controle e erradicação da brucelose e tuberculose animal. Tekhne e Logos, 13(2), 34–43. Nascimento, R. A. P. (2017). Gestão de laboratórios oficiais de defesa agropecuária. Universidade de Brasília. Nobre, M. M., Azevedo, R. A., Campos, E. F., Lage, C. F. A., Glória, J. R., Saturnino, H. M., & Coelho, S. G. (2018). Impacto econômico da retenção de placenta em vacas leiteiras. Pesquisa Veterinária Brasileira, 38(3), 450–455. NUTRICIONAL. (2011). Plano Nacional de Segurança Alimentar e Nutricional: 2012/2015. Ministério da Agricultura. Oliveira, S. V., Arsky, M. L. N. S., & Caldas, E. P. (2013). Reservatórios animais da leptospirose: Uma revisão bibliográfica. Saúde (Santa Maria), 39(1), 9–20. Oliveira-Neto, R. R., Souza, V. F., Carvalho, P. F. G., & Frias, D. F. R. (2018). Nível de conhecimento de tutores de cães e gatos sobre zoonoses. Revista de Salud Pública, 20, 198–203. Ortigoza, S., & José, M. (2018). Aborto bovino: Revisión de sus factores etiológicos. In Universidad Cooperativa de Colombia (pp. 1–22). Universidad Cooperativa de Colombia, Facultad de Ciencias de la Salud. Pellegrin, A. O., Guimaraes, P. H. S., Sereno, J. R. B., Figueiredo, J. P., Lage, A. P., Moreira, E. C., & Leite, R. C. (1999). Prevalência da leptospirose em bovinos do Pantanal Mato-Grossense. Corumbá: Embrapa Pantanal, 1999. Pereira, P. A. C., Ferreira, A. M., & Carvalho, L. B. (2009). Perfil sorológico das leptospiroses em rebanhos bovinos leiteiros da região do Vale do Parnaíba-SP. Revista Brasileira de Reprodução Animal, 28(3), 174–176. Pfuetzenreiter, M. R., Zylbersztajn, A., & Avila-Pires, F. D. (2004). Evolução histórica da medicina veterinária preventiva e saúde pública. Ciência Rural, 34(5), 1661–1668. Pinillos, R. G. (2018). One welfare: A framework to improve animal welfare and human well-being. Cabi. Poester, F. P., Goncalves, V. S. P., & Lage, A. P. (2002). Brucellosis in Brazil. Veterinary Microbiology, 90(1–4), 55–62. Porto, Y. F., Pinto Neto, A., Bernardi, F., Possa, M. G., Mota, M. F., Martinez, A. C., Merlini, L. S., & Berber, R. C. (2018). Occurrence of brucellosis, leptospirosis and neosporosis in cows with retained placenta in Southwest Paraná, Brazil. Pesquisa Veterinária Brasileira, 38(8), 1537–1542. Radostits, O. M., Gay, C. C., Blood, D. C., Hinchcliff, K. W., & McKenzie, R. A. (2010). Clínica Veterinária: um tratado de doenças dos bovinos, ovinos, suínos, caprinos e eqüinos (Vol. 1). Guanabara Koogan. Ramos, T. M. V., Balassiano, I. T., Silva, T. S. M., & Nogueira, J. M. R. (2022). Leptospirose: Características da enfermidade em humanos e principais técnicas de diagnóstico laboratorial. Revista Brasileira de Análises Clínicas, 53(3), 211–218. Ribeiro, A. C. A., Araújo, R. V., Rosa, A. S. M., Silva, P. N., Moraes, S. C., & Katagiri, S. (2020). Zoonoses e educação em saúde: Conhecer, compartilhar e multiplicar. Brazilian Journal of Health Review, 3(5), 12785–12801. Rocha, C. F., Mol, J. P. S., Garcia, L. N. N., Costa, L. F., Santos, R. L., & Paixão, T. A. (2017). Comparative experimental infection of Listeria monocytogenes and Listeria ivanovii in bovine trophoblasts. Plos One, 12, 1–13. Rocha, N. S. (2017). Corpo de delito e processos por erro médico veterinário. In R. A. Tostes, S. T. J. Reis, & V. V Castilho (Eds.), Tratado de medicina veterinária legal. Medvep. Rossi, M., Paiva, A., Tornese, M., Chianelli, S., & Troncoso, A. (2008). Brotes de infección por Listeria monocytogenes: Una revisión de las vias que llevan a su aparición. Revista Ciencia y Tecnologia, Escuela de Postgrado, 25, 328–335. Sá, M. I., & Ferreira, C. (2007). Importância das zoonoses na segurança alimentar. Infoqualidade, 11, 14–17. Sakate, R. I., Aragon, L. C., Raghiante, F., Landgraf, M., Franco, B. D. G. M., & Destro, M. T. (2003). Quantificação de Listeria monocytogenes em salames fatiados embalados a vácuo. Archivos Latinoamericanos de Nutrición, 53, 1–5. Salmanov, A. G., Kotsyumbas, I. Y. А., & Trokhymchuk, V. V. (2018). One World — One Health. International Journal of Antibiotics and Probiotics, 2(1), 8–17. Santana, L., Novelli, M., Vidal, A., Pereira, S., Gasparinni, L., Alvarenga, A. M. O., & Motta, O. J. R. (2020). Brucelose: atualização para a prática clínica. Saúde Dinâmica, 5(3), 1–14. Santos-Filho, A. M. P., & Mayrink, R. R. (2017). Medicina Veterinária Forense. In J. A. Velho, G. C. Geiser, & A. Espíndula. (Eds.), Ciências Forenses, uma introdução às principais áreas da criminalística moderna. Millennium. Schmitt, C. I., Krug, F. D. M., Cereser, N. D., & Pinto, F. R. (2017). Brucelose: uma questão de saúde pública. REDVET. Revista Electrónica de Veterinária, 18(9), 1–17. Silva, H. R., Gianoglou, F. M., Campos, M. F., Graciano, E. M. A., & Toledo, R. C. C. (2016). Listeriose: Uma doença de origem alimentar pouco conhecida no Brasil. Higiene Alimentar, 30, 17– 20. Simões, L. S., Sasahara, T. H. C., Favaron, P. O., & Miglino, M. A. (2016). Leptospirose–Revisão. PUBVET, 10, 111–189. Slowinski, K., Tremori, T. M., Massad, M. R. R., Tasaka, A. C., & Rocha, N. S. (2016). Responsabilidade ética e civil do médico-veterinário no ambiente hospitalar. Revista de Educação Continuada em Medicina Veterinária e Zootecnia Do CRMV-SP, 14(2), 30–37. Snak, A., & Osaki, S. C. (2019). Uma revisão sobre três importantes agentes causadores de aborto em bovinos: Neospora caninum, Leptospira sp. e Trypanosoma vivax. Revista de Ciência Veterinária e Saúde Pública, 6(1), 160–195. Sobrinho, O. P. L., Véras, G. M. C., Silva, L. F. B., Oliveira, L. S., Xavier, R. S., Alvim, J. F., Costa, D. A. S., Pereira, Á. I. S., Carlos, M. A. S., Cantanhede, E. K. P., & Santos, M. L. C. (2018). Brucelose bovina: Situação epidemiológica em rebanhos no município de Codó-MA. PUBVET, 12(12), 1–4. Souza, A. O. (2010). Listeriose na gravidez. Revista Médica de Minas Gerais, 20, 433–434. Suárez, Á. C. A., & Parra, C. A. B. (2017). Actualización de la leptospirosis bovina en Colombia. Conexión Agropecuaria JDC, 7(1), 57–77. Tonin, A. A., Azevedo, M. I., Escobar, T. P., Casassola, I., Santos, L. G., Cocco, M., Martins, J. L. R., Schaefe, P. C., & Badke, M. R. T. (2010). Leptospirose bovina: aumento na incidência da Leptospira interrogans sorovar butembo no rebanho do Estado de Santa Catarina, Brasil. Acta Veterinaria Brasilica, 4(4), 294–297. Topazio, J., Tonin, A. A., Machado, G., Noll, J. C. G., Ribeiro, A., Moura, A. B., Carmo, G. M., Grosskopf, H. M., Martins, J. L. R., & Badke, M. R. T. (2015). Antibodies to Leptospira interrogans in goats and risk factors of the disease in Santa Catarina (West side), Brazil. Research in Veterinary Science, 99, 53–57. Tremori, T. M., & Rocha, N. S. (2013). Exame do corpo de delito na Perícia Veterinária (ensaio). Revista de Educação Continuada em Medicina Veterinária e Zootecnia do CRMV-SP, 11(3), 30–35. Urzêda, M., Ribeiro, P. G. M., Nascente, E. P., Espíndola, W. R., Teodoro, J. V. S., Gonçalves, G. B., Carneiro, Y. F., & Souza, W. J. (2020). Soroprevalência de leptospirose em fêmeas bovinas na microrregião do Vale Do Rio Dos Bois, Goiás, Brasil. Brazilian Journal of Development, 6(9), 69614–69622. Vallim, D. C., Barroso Hofer, C., Lisbôa, R. de C., Barbosa, A. V., Rusak, L. A., Reis, C. M. F., & Hofer, E. (2015). Twenty years of Listeria in Brazil: Occurrence of Listeria species and Listeria monocytogenes serovars in food samples in Brazil between 1990 and 2012. BioMed Research International, 2015. Vasconcelos, C. H., Fonseca, F. R., Lise, M. L. Z., & Arsky, M. (2012). Fatores ambientais e socioeconômicos relacionados à distribuição de casos de leptospirose no Estado de Pernambuco, Brasil, 2001-2009. Caderno de Saúde Coletiva, 20(1), 49–56. Viana, K. F., & Zanini, M. S. (2009). Perfil de produtores frente à vacinação contra doenças infecciosas abortivas em rebanhos bovinos do município de Alegre/ES. Archives of Veterinary Science, 14(2), 103–108. Vitas, A. I., & Garcia-Jalon, V. A. E. I. (2004). Occurrence of Listeria monocytogenes in fresh and processed foods in Navarra (Spain). International Journal of Food Microbiology, 90(3), 349–356. (shrink)

TRANSPORTE DE GAMETAS, FERTILIZAÇÃO E SEGMENTAÇÃO -/- • _____OBJETIVO -/- O entendimento do desenvolvimento embrionário nos estágios iniciais, desde a deposição dos espermatozoides na fêmea, passando pela fertilização deste no ovócito e na formação do zigoto, é de suma importância para diferenciar especialistas em reprodução e manejo reprodutivo no mercado de trabalho e, também, durante a vida acadêmica. Compreender os processos que levam à formação do zigoto na fêmea é essencial para avaliar a capacidade reprodutiva dos animais e, mediante técnicas, (...) avaliar o trato reprodutivo da fêmea e o desenvolvimento do embrião até a formação do feto e, por fim, em um novo animal sadio na propriedade. Com esse trabalho, o estudante de veterinária ou zootecnia, que deseja se aprofundar na fisiologia da reprodução animal, identificará os mecanismos que são envolvidos no transporte dos gametas, bem como os processos que estes últimos devem completar para alcançar a fertilização e para desencadear as divisões iniciais do embrião. -/- • _____INTRODUÇÃO -/- A fertilização ou fecundação é o processo pelo qual os gametas masculino (espermatozoide) e feminino (ovócito) se fundem para gerar um novo indivíduo. Seu êxito depende da culminação adequada dos diferentes processos que devem sofrer os gametas durante sua maduração e percurso; do transporte oportuno destes no trato reprodutivo da fêmea, assim como de uma série de adaptações dos órgãos genitais internos da mãe. A segmentação refere-se às primeiras divisões celulares do embrião. -/- • _____TRANSPORTE DO OVÓCITO -/- O ovócito que é liberado na ovulação, e que se encontra coberto pelas células do cumulus (figura 1), é capturado pela fímbria do infundíbulo ao aderir aos cílios. Esse processo é altamente eficaz, inclusive em espécies onde os ovários possuem várias formações globosas, por exemplo nas porcas, onde os ovidutos capturam entre 95 e 100% dos ovócitos que são ovulados. As contrações das camadas musculares do oviduto e o movimento intenso dos cílios da mucosa faz com que as secreções fluam em direção ao útero, transportando assim o complexo cumulus-ovócito. Esse transporte é relativamente rápido até alcançar a junção da ampola com o istmo (que é considerado o local de fertilização do espermatozoide e ovócito) a partir do qual se torna lento. Devido a fêmea estar em estro, o processo está sob controle endócrino, isto é, controle hormonal através do estradiol. Nas fêmeas domésticas, ao contrário das mulheres, o transporte ao longo do oviduto é extremamente eficiente, pois os embriões passam para o útero sem dificuldade, de modo que gestações ectópicas (tubárias ou em cavidade) são quase inexistentes. A égua, frequentemente, retém por muito tempo os ovócitos não fertilizados no oviduto, provavelmente devido a não secreção de substâncias (como a prostaglandina E) que poderiam favorecer sua passagem, como se propõe que aconteça com os embriões. A figura 2 apresenta um ovócito com suas respectivas estruturas. Figura 1: ovócitos de uma vaca madurados in vitro. Nota-se as células do cumulus que os recobre. -/- Figura 2: estruturas do ovócito de uma ovelha que se encontra na etapa de ovócito secundário, depois da ovulação. Elaborado pelo autor. • _____TRANSPORTE ESPERMÁTICO -/- Para que os espermatozoides sejam capazes de fertilizar o ovócito, deverão sofrer uma série de mudanças bioquímicas e morfológicas ao longo de sua passagem pelo aparelho reprodutor tanto masculino como feminino. Uma vez produzidos na parede do túbulo seminífero, os espermatozoides são liberados em direção ao lúmen tubular e transportados passivamente para uma estrutura ramificada conhecida como rede testicular (rete testis). Dessa rede são conduzidos em direção ao epidídimo passando através de 10 a 20 ductos eferentes localizados no polo superior do testículo. O epidídimo é dividido em três seções denominadas cabeça, corpo e cauda; é constituído por um só ducto longo e tortuoso que continua com o canal deferente. Ao final desemboca nas ampolas seminais, no ducto ejaculatório e na uretra. As funções do epidídimo são as de maduração, transporte e armazenamento dos espermatozoides. O transporte através do epidídimo é lento, aproximadamente de 10 dias em touros, e segue sendo passivo. Os espermatozoides tomados da cabeça do epidídimo são ainda imaturos e incapazes de fertilizar, enquanto os armazenados na cauda são completamente maduros. Durante o trânsito pelo epidídimo os espermatozoides adquirem motilidade e o potencial para fertilizar, o acrossomo é remodelado e a gota citoplasmática migra para o flagelo e é liberada. Quando um macho ejacula com muita frequência, é possível observar espermatozoides com gota citoplasmática no sêmen, já que não há tempo suficiente para que completem sua maduração. Os espermatozoides são expulsados fora do organismo durante a cópula, na masturbação ou em emissões espontâneas. Na ejaculação, os espermatozoides que se encontram suspensos nos fluidos do testículo e do epidídimo, misturam-se ao chegar na uretra com as secreções das glândulas acessórias para formar o sêmen. Essas secreções denominadas plasma seminal, proporcionam substâncias para manter o metabolismo energético das células espermáticas, e integram suas membranas elementos que impedem uma capacitação prematura. Durante a cópula, o sêmen é depositado na vagina ou no útero, variando entre as espécies (tabela 1). Na monta natural, geralmente, o serviço ocorre no momento propício, já que está definido pela fase do ciclo estral em que a fêmea é receptiva ao macho. No entanto, na inseminação artificial, é o macho que deverá determinar o momento ideal, e para isso é importante considerar a vida média dos gametas, ao qual é muito curta no caso dos ovócitos (tabela 1). -/- Tabela 1: local de depósito do sêmen, volume da ejaculação e vida média dos gametas. Espécie Local de deposição Volume (ml) Velocidade de ejaculação Vida média do ovócito Vida média do espermatozoide Bovinos Intravaginal 2 1 – 3 seg 8 h 30 – 48 h Caninos Intravaginal 2 – 30 (10 média) 6 – 45 min 48 – 72 h 9 – 11 d Equinos Intrauterina 50 – 200 20 – 60 seg 6 – 8 h 72 – 120 h Humanos Intravaginal 3 - - 5 – 6 d Ovinos Intravaginal 1 1 – 2 seg 16 – 24 h 30 – 48 h Suínos Intrauterina 200 – 400 5 – 20 min 8 – 10 h 24 – 48 h Onde d = dias; h = horas. A vida fértil do ovócito é muito curta, portanto, o momento do serviço é de grande importância para obter altos índices de fertilização. -/- Independentemente do local em que os espermatozoides sejam depositados no aparelho reprodutor feminino, serão expostos às secreções genitais e sofrem uma série de mudanças em seu trajeto até o local de fertilização antes de penetrar no ovócito. Nas espécies em que o sêmen é depositado na parte cranial da vagina, uma parte do mesmo penetra através da cérvix, enquanto outra parte é eliminada do aparelho genital da fêmea, em pouco tempo, através do fluxo retrógrado. O meio vaginal não é adequado e imobiliza os espermatozoides em pouco tempo, pelo qual deverão entrar no útero onde o ambiente é mais propício. O transporte espermático na fêmea é o resultado da alta contratilidade, do movimento ciliar e o fluido do aparelho genital durante o estro, ao qual está sob controle endócrino e do sistema nervoso. Esse transporte é favorecido pelas características especiais do muco estral, cujas moléculas formam uma espécie de canais que facilitam a passagem dos espermatozoides. Pelo contrário, durante a fase lútea seu transporte é dificultado. Além do meio vaginal, a cérvix também atua como barreira natural para limitar a passagem dos espermatozoides, diminuindo assim a possibilidade de polispermia. Funciona, também, como um filtro que seleciona os espermatozoides aptos dos que não o são, uma vez que somente os primeiros possuem uma motilidade vigorosa que lhes permite passar pelo muco altamente hidratado. Na vaca a cérvix é considerada como um reservatório espermático. Quando atravessam a cérvix, os espermatozoides seguem sua deslocação tanto por movimento próprio como pelas contrações uterinas e tubárias. Nas espécies em que o local de depósito do sêmen do macho na fêmea é intrauterino, como equinos, a principal barreira que os espermatozoides enfrentam é a união ou junção útero-tubárica. A união entre o útero e o oviduto (istmo do oviduto) serve como reservatório funcional dos espermatozoides nas espécies domésticas. Poucos minutos depois da cópula, é possível encontrar alguns espermatozoides no oviduto, que é conhecido como fase de transporte rápido. No entanto, esses espermato-zoides não são os que participam do processo de fertilização e podem apresentar certas anormalidades. Existe um segundo tipo de transporte denominado fase sustentada, a qual consiste na migração prolongada dos espermatozoides em direção as partes mais craniais do aparelho genital feminino, que conduzem à colonização do reservatório funcional e na liberação gradual dos espermatozoides dos reservatórios espermáticos, incluindo este último. O reservatório do istmo fornece aos espermatozoides um ambiente propício, protegendo-os contra a fagocitose, prolongando assim a sua viabilidade. Aqui os esper-matozoides permanecem aderidos a superfície das células ciliadas do epitélio até a finalização de sua capacitação, depois da qual são liberados quando alteram seu padrão de motilidade flagelada, fenômeno conhecido como hipermotilidade, e migram em ondas em direção ao local da fertilização. Dos milhões de espermatozoides ejaculados, somente alguns milhares alcançarão o istmo do oviduto e um número sumamente pequeno será encontrado nas imediações do ovócito no momento da fertilização. -/- • _____CAPACITAÇÃO ESPERMÁTICA E REAÇÃO ACROSSÔMICA -/- A capacitação é um processo gradual e essencial para a fertilização. Os espermato-zoides devem passar por um dado tempo de “incubação” no aparelho genital da fêmea e sofrer uma série de mudanças antes de serem capazes de fecundar o ovócito. A capacita-ção dos espermatozoides começa quando eles entram em contato com as secreções do aparelho genital da fêmea e termina no istmo do oviduto. Durante esse percurso a superfície da cabeça do espermatozoide se modifica já que algumas moléculas como o colesterol são removidas da membrana plasmática, aumentando sua fluidez e alterando suas propriedades bioquímicas. Entre outras coisas, essa reorganização dos lipídios facilita a entrada de cálcio extracelular pelos canais iônicos e ocasiona a desestabilização da membrana, tornando-a mais fusogênica. Também são eliminados outros fatores (conhecidos genericamente como fatores descapacitantes) que expõem receptores membranais indispensáveis para a realização da união entre o espermatozoide e o ovócito durante a fertilização. Os espermatozoides capacitados apresentam um padrão de hipermotilidade e uma maior atividade metabólica, características que devem obter para que sejam capazes de penetrar as camadas do ovócito. A capacitação é necessária para que ocorra a reação acrossômica. A reação acrossomal ou acrossômica (RA) é um fenômeno de exocitose que é desencadeada pela ligação entre as proteínas e receptores localizados na membrana do espermatozoide e a zona pelúcida do ovócito (figura 3). Envolve a fusão da membrana plasmática do espermatozoide com a membrana externa de seu acrossomo; formando, assim, pequenas vesículas, cujo conteúdo de enzimas hidrolíticas, como a hialuronidase e a acrosina, é liberado em direção ao seu exterior, facilitando a penetração da zona pelúcida. A adesão do espermatozoide à zona pelúcida é específica da espécie e depende de glicoproteínas presentes na membrana dos ovócitos maduros; a cabeça do espermatozoide se une com essas glicoproteínas mediante receptores específicos e atravessam em direção oblíqua a zona pelúcida até chegar ao espaço perivitelino. Nos mamíferos, particularmente em roedores e nos humanos, algumas dessas glicoproteínas são conhecidas como ZP1, ZP2 e ZP3. Pensa-se que a união da membrana espermática a esta última é o que desencadeia a reação acrossomal. Posteriormente, as vilosidades do ovócito entram em contato com o espermatozoide e a membrana presente na secreção equatorial da cabeça do espermatozoide, que tem proteínas fusogênicas específicas, une-se a membrana plasmática do ovócito, fusionando-se e permitindo a entrada do núcleo espermático ao citoplasma (figura 4). A capacitação dos espermatozoides é fundamental para o êxito da fertilização, uma vez que apenas os aptos estarão perfeitos e íntegros para que a união e percepção das glicoproteínas presentes nos mesmos possam ocorrer de forma ideal para a penetração deste no ovócito, fertilizá-lo e formar um zigoto. Figura 3: estrutura do espermatozoide. Nota: a membrana é acrossomal e não acrossonal. Elaborado pelo autor. -/- Figura 4: eventos que ocorrem durante a fertilização. A – depois de passar através das células do cumulus, o espermatozoide entra em contato com a zona pelúcida, onde receptores da membrana plasmática reconhecem as proteínas da zona pelúcida; B – é desencadeada, então, a reação acrossomal; C – para que o espermatozoide penetre na zona pelúcida; D – ao atravessar a zona pelúcida e entrar no espaço perivitelino, a cabeça do espermatozoide entra em contato com a membrana vitelina; ambas membranas se fusionam graças ao reconhecimento de proteínas fusogênicas que estão no segmento equatorial. E – ocorre, então, que o núcleo do espermatozoide penetra no citoplasma do ovócito; uma das consequências da fusão da membrana com a cabeça do espermatozoide é a reação cortical, em que os grânulos corticais do ovócito liberam seu conteúdo em direção ao espaço perivitelino, o que resulta na alteração da estrutura da zona pelúcida e da membrana vitelina para bloquear a polispermia. Elaborado pelo autor. • _____CONSEQUÊNCIAS DA PENETRAÇÃO -/- Bloqueio da polispermia -/- A fusão das membranas dos gametas durante a penetração permite a entrada da fosfolipase C zeta (PLCζ) – fator solúvel que provém do espermatozoide – que desencadeia liberação e oscilações de Ca2+ no retículo endoplasmático. Isso, por sua vez, provoca a migração e fusão dos grânulos corticais, com a consequente liberação de enzimas, que mudam tanto a estrutura da zona pelúcida (por exemplo a inativação de ZP3), como a da membrana vitelina. Desse modo, impede-se que outros espermatozoides as penetrem, evitando assim a polispermia (figura 5). -/- Figura 5: os grânulos corticais que encontram-se na periferia do citoplasma, debaixo da superfície da membrana do ovócito, migram e fusionam-se sobre a mesma, liberando seu conteúdo no espaço perivitelino imediatamente depois da penetração do espermatozoide. A – como conse-quência, tanto a membrana vitelina como a zona pelúcida são modificadas, impedindo a entrada de mais espermatozoides, o que evita a polispermia. B – o ovócito retoma, então, sua segunda divisão meiótica, que ocasiona a expulsão do segundo corpúsculo polar, e na formação dos pronúcleos feminino e masculino. C – continuando, os pronúcleos migram, suas membranas se dissolvem e os cromossomos de ambos se condensam e se unem. Completa-se, assim, a singamia e forma-se, então, o zigoto. Elaborado pelo autor baseado nos livros de embriologia e fisiologia da reprodução conforme vida bibliografia. -/- Ativação do ovócito e formação de pronúcleos -/- Na maioria das fêmeas domésticas, com exceção da cadela, o ovócito encontra-se suspenso na metáfase II da segunda meiose no momento da ovulação. A entrada da PLCζ do espermatozoide no citoplasma do ovócito, e a consequente liberação de Ca2+, faz com que o ovócito se ative, terminando a segunda divisão meiótica e expulse o segundo corpo polar. Posteriormente, o material nuclear do ovócito se reorganiza para formar o pronú-cleo feminino. Entretanto, a membrana nuclear do espermatozoide se dissolve, a cromatina descondensa-se, as protaminas são substituídas por histonas, e se forma uma nova membrana nuclear, dando lugar ao pronúcleo masculino. -/- Singamia -/- Uma vez que os pronúcleos feminino e masculino são formados, migram para o centro do ovócito, aproximam-se, suas membranas se dispersam e os cromossomos paternos e maternos se associam, com o qual recupera a condição diploide e dá origem ao zigoto (figura 5). -/- • _____DESENVOLVIMENTO EMBRIONÁRIO -/- Poucas horas após a fertilização ocorre a primeira divisão do zigoto em duas, depois em 4, 8, 16 e 32 células, denominadas blastômeros. Essas divisões mitóticas são conhecidas como divisões de segmentação ou clivagem (figura 6), uma vez que são realizadas sem aumento do citoplasma, de modo que com cada divisão os blastômeros se tornam menores. A partir das 16 células o embrião se chama mórula, e é visto como uma massa celular compacta. A compactação deve-se a informação de proteínas de ligação entre os blastômeros. O embrião acumula líquido em seu interior, formando uma cavidade denominada blastocele. Esse processo é conhecido como blastulação; o embrião, assim, passa a ser chamado de blastocisto. Nessa etapa é possível diferenciar duas populações de células embrionárias: a massa celular interna, embrioblasto ou botão embrionário (que dará origem ao embrião), e a massa celular externa, células superficiais ou trofoblasto, do qual se originam a maioria das membranas fetais. Ao continuar a multiplicação das células e a acumulação de líquido, o blastocisto aumenta de tamanho, convertendo-se em blastocisto expandido. A zona pelúcida torna-se mais fina e, finalmente, o embrião eclode; isto é, o embrião é liberado da zona pelúcida. -/- • _____FERTILIZAÇÕES ATÍPICAS -/- Polispermia -/- É a penetração de dois ou mais espermatozoides no óvulo. Esta condição é letal nos mamíferos, já que o número cromossômico desse zigoto é maior que 2n, o envelheci-mento do ovócito da porca, como consequência do serviço tardio, favorece a apresentação da polispermia, por isso, é comum ver números de nascimentos de média de 10 a 12 leitões por parição nessa espécie. Nas aves, no entanto, a penetração de mais de um espermatozoide é normal, embora apenas um pronúcleo masculino se formará, fundindo-se com o feminino. -/- Figura 6: etapas do processo de segmentação/clivagem. Fonte: aula de reprodução da professora Domenica Palomaris, UFT. -/- Ginogênese -/- É o desenvolvimento de um embrião a partir de um óvulo normal fecundado por um espermatozoide, mas sem a fusão dos cromossomos masculinos com os da fêmea. A função do espermatozoide, nesse caso, é a de ativação do ovócito para que este inicie seu desenvolvimento, mas não há fusão com o núcleo do espermatozoide. Ocorre em plantas, em nematódeos e em algumas espécies de peixes, por exemplo a Poecilia formosa, espécie em que os ovócitos das fêmeas são ativados por machos de outra espécie relacio-nada. -/- Partenogênese -/- Consiste no desenvolvimento do embrião sem a participação do espermatozoide. Ocorre em alguns insetos, o zangão, por exemplo, é partenogenético. Também pode apresentar-se em perus, cujos embriões são machos e, geralmente, morrem antes da eclosão. -/- • _____GÊMEOS -/- Existem dois tipos de gêmeos: idênticos ou monozigóticos e os não idênticos ou dizigóticos. -/- Idênticos ou monozigóticos -/- Originam-se do mesmo zigoto, sendo assim, possuem o mesmo genótipo e um fenótipo similar e, portanto, são do mesmo sexo. Em laboratório é possível gerá-los ao seccionar uma mórula em duas ou mais partes, por meio de um micromanipulador. Uma vez que possuem o mesmo genótipo, os produtos resultantes são clones. -/- Não idênticos ou dizigóticos -/- Provêm da fertilização de dois óvulos distintos por espermatozoides diferentes. Possuem, portanto, genótipos e fenótipos diferentes, e podem ser de sexo diferente. -/- REFERÊNCIAS BIBLIOGRÁFICAS -/- ALBERTS, Bruce et al. Biologia molecular da célula. Artmed Editora, 2010. AUSTIN, Colin Russell; SHORT, Roger Valentine. Reproduction in Mammals, Book I: Germ Cells and Fertilization. 1982. BEARDEN, Henry Joe et al. Reproducción animal aplicada. México: Manual Moderno, 1982. BOSCH, P.; WRIGHT JR, R. W. The oviductal sperm reservoir in domestic mammals. Archivos de medicina veterinaria, v. 37, n. 2, p. 95-105, 2005. CAPALLEJAS, Roberto Brito; RODRÍGUEZ, Lourdes Tagle. Fisiología de la reproducción animal: con elementos de biotecnología. Editorial Félix Varela, 2010. CROXATTO, Horacio B. Physiology of gamete and embryo transport through the fallopian tube. Reproductive biomedicine online, v. 4, n. 2, p. 160-169, 2002. CUPPS, Perry T. (Ed.). Reproduction in domestic animals. Elsevier, 1991. DIEDRICH, Smidt et al. Endocrinología y Fisiología de la Reproducción de los Animales Zootécnicos. 1972. DUKES, Henry Hugh; SWENSON, Melvin J.; REECE, William O. Dukes fisiologia dos animais domésticos. Editora Guanabara Koogan, 1996. FERREIRA, A. de M. Reprodução da fêmea bovina: fisiologia aplicada e problemas mais comuns (causas e tratamentos). Juiz de Fora: Minas Gerais–Brasil, p. 422, 2010. HAFEZ, Elsayed Saad Eldin; HAFEZ, Bahaa. Reprodução animal. São Paulo: Manole, 2004. HUNTER, Ronald Henry Fraser. The Fallopian tubes in domestic mammals: how vital is their physiological activity?. Reproduction Nutrition Development, v. 45, n. 3, p. 281-290, 2005. HUNTER, R. H. F.; RODRIGUEZ‐MARTINEZ, H. Capacitation of mammalian spermatozoa in vivo, with a specific focus on events in the Fallopian tubes. Molecular Reproduction and Development: Incorporating Gamete Research, v. 67, n. 2, p. 243-250, 2004. GALINA, Carlos; VALENCIA, Javier. Reproducción de los animales domésticos. 2006. HOPPER, Richard M. (Ed.). Bovine reproduction. John Wiley & Sons, 2014. HYTTEL, Poul; SINOWATZ, Fred; VEJLSTED, Morten. Embriologia veterinária. Elsevier Brasil, 2012. KÖLLE, Sabine; REESE, Sven; KUMMER, Wolfgang. New aspects of gamete transport, fertilization, and embryonic development in the oviduct gained by means of live cell imaging. Theriogenology, v. 73, n. 6, p. 786-795, 2010. MCKINNON, Angus O. et al. (Ed.). Equine reproduction. John Wiley & Sons, 2011. OLIVERA, Martha et al. El espermatozoide, desde la eyaculación hasta la fertilización. Revista Colombiana de Ciencias Pecuarias, v. 19, n. 4, p. 426-436, 2006. PLANT, Tony M.; ZELEZNIK, Anthony J. (Ed.). Knobil and Neill's physiology of reproduction. New York: Academic Press, 2014. RODRIGUEZ-MARTINEZ, Heriberto. Role of the oviduct in sperm capacitation. Theriogenology, v. 68, p. S138-S146, 2007. SAAVEDRA LEOS, María Dolores. Estudio de la composición de los gránulos corticales y del oolema de ovocitos porcinos y bovinos madurados y fecundados in vitro. Proyecto de investigación:, 2010. SENGER, Phillip L. et al. Pathways to pregnancy and parturition. Current Conceptions, Inc, 2004. SUAREZ, Susan S. The oviductal sperm reservoir in mammals: mechanisms of formation. Biology of Reproduction, v. 58, n. 5, p. 1105-1107, 1998. VALENCIA MÉNDEZ, Javier de J. Fisiología de la reproducción porcina. 1986. -/- FIXAÇÃO DO ASSUNTO -/- 1. Defina e diferencie fertilização e segmentação. -/- 2. Disserte sobre o transporte do ovócito. Por que no istmo o transporte do ovócito se torna lento? -/- 3. Fale sobre a eficiência do transporte do gameta no trato genital da fêmea e sobre a retenção de ovócitos pela égua. -/- 4. Defina as células do cumulus e explique seu papel sobre o ovócito. -/- 5. Quais as estruturas que compõem o ovócito? Qual a função de cada uma? -/- 6. Todos os ovócitos das fêmeas domésticas são iguais? Justifique. -/- 7. Disserte sobre o papel dos hormônios e das secreções sobre o transporte do ovócito no trato genital da fêmea. -/- 8. Disserte sobre o transporte do espermatozoide. Por que há transporte rápido e lento dos espermatozoides? -/- 9. Fale sobre o local de deposição do sêmen nas espécies domésticas e como esse influen-cia na eficiência da reprodução. -/- 10. Por que a vida média do espermatozoide canino é maior que as outras espécies? -/- 11. Quais as mudanças que os espermatozoides precisam sofrer para conseguir êxito na fertilização e por quê? -/- 12. Defina fase de transporte rápido, fase sustentada e hipermotilidade. Qual a importân-cia de cada um? -/- 13. Como ocorre a reação acrossômica? -/- 14. O que é polispermia e como ocorre seu bloqueio? 15. Como ocorre a ativação do ovócito e como se formam os pronúcleos? -/- 16. O que é e qual a importância da singamia? -/- 17. Disserte sobre as divisões de segmentação e qual a importância destas para o êxito da reprodução. -/- 18. Defina e diferencia mórula e blastocisto. -/- 19. Defina e diferencie ginogênese e partenogênese. -/- 20. Qual o papel endócrino e quais hormônios e enzimas atuam sobre o transporte de gametas, sobre a fertilização e sobre a segmentação? (shrink)

This twelfth volume of Collected Papers includes 86 papers comprising 976 pages on Neutrosophics Theory and Applications, published between 2013-2021 in the international journal and book series “Neutrosophic Sets and Systems” by the author alone or in collaboration with the following 112 co-authors (alphabetically ordered) from 21 countries: Abdel Nasser H. Zaied, Muhammad Akram, Bobin Albert, S. A. Alblowi, S. Anitha, Guennoun Asmae, Assia Bakali, Ayman M. Manie, Abdul Sami Awan, Azeddine Elhassouny, Erick González-Caballero, D. Dafik, Mithun Datta, Arindam Dey, (...) Mamouni Dhar, Christopher Dyer, Nur Ain Ebas, Mohamed Eisa, Ahmed K. Essa, Faruk Karaaslan, João Alcione Sganderla Figueiredo, Jorge Fernando Goyes García, N. Ramila Gandhi, Sudipta Gayen, Gustavo Alvarez Gómez, Sharon Dinarza Álvarez Gómez, Haitham A. El-Ghareeb, Hamiden Abd El-Wahed Khalifa, Masooma Raza Hashmi, Ibrahim M. Hezam, German Acurio Hidalgo, Le Hoang Son, R. Jahir Hussain, S. Satham Hussain, Ali Hussein Mahmood Al-Obaidi, Hays Hatem Imran, Nabeela Ishfaq, Saeid Jafari, R. Jansi, V. Jeyanthi, M. Jeyaraman, Sripati Jha, Jun Ye, W.B. Vasantha Kandasamy, Abdullah Kargın, J. Kavikumar, Kawther Fawzi Hamza Alhasan, Huda E. Khalid, Neha Andalleb Khalid, Mohsin Khalid, Madad Khan, D. Koley, Valeri Kroumov, Manoranjan Kumar Singh, Pavan Kumar, Prem Kumar Singh, Ranjan Kumar, Malayalan Lathamaheswari, A.N. Mangayarkkarasi, Carlos Rosero Martínez, Marvelio Alfaro Matos, Mai Mohamed, Nivetha Martin, Mohamed Abdel-Basset, Mohamed Talea, K. Mohana, Muhammad Irfan Ahamad, Rana Muhammad Zulqarnain, Muhammad Riaz, Muhammad Saeed, Muhammad Saqlain, Muhammad Shabir, Muhammad Zeeshan, Anjan Mukherjee, Mumtaz Ali, Deivanayagampillai Nagarajan, Iqra Nawaz, Munazza Naz, Roan Thi Ngan, Necati Olgun, Rodolfo González Ortega, P. Pandiammal, I. Pradeepa, R. Princy, Marcos David Oviedo Rodríguez, Jesús Estupiñán Ricardo, A. Rohini, Sabu Sebastian, Abhijit Saha, Mehmet Șahin, Said Broumi, Saima Anis, A.A. Salama, Ganeshsree Selvachandran, Seyed Ahmad Edalatpanah, Sajana Shaik, Soufiane Idbrahim, S. Sowndrarajan, Mohamed Talea, Ruipu Tan, Chalapathi Tekuri, Selçuk Topal, S. P. Tiwari, Vakkas Uluçay, Maikel Leyva Vázquez, Chinnadurai Veerappan, M. Venkatachalam, Luige Vlădăreanu, Ştefan Vlăduţescu, Young Bae Jun, Wadei F. Al-Omeri, Xiao Long Xin.‬‬‬‬‬‬. (shrink)

Resumen: En la actualidad uno de los libros más usados para dar lógica elemental es el de Irving Copi y Carl Cohen (Introducción a la lógica, 2001), allí se presentan unas reglas para decidir la validez de los silogismos categóricos de forma estándar. Pero en tal texto ni en ninguno que nosotros conozcamos se ofrece una fundamentación de las mismas. Es decir, una demostración de que ellas son realmente una condición necesaria y suficiente de la validez de un silogismo categórico (...) de forma estándar, lo único que hemos leído es su motivación como condición necesaria. El objetivo de este trabajo es ofrecer una fundamentación de las mismas usando la noción de conjunto (o clase) y la técnica de diagramas de Venn, un concepto y una técnica que están expuestos en los principales textos de lógica elemental, incluyendo el referido anteriormente. -/- Abstract: Currently, one of the most widely used textbooks in elementary logic is the one by Irving Copi and Carl Cohen (Introduction to Logic, 2001). They offer rules for deciding the validity of standard categorical syllogisms. But neither that textbook, nor any other we know of, provides the foundations of these rules; that is to say, the demonstration that they are a necessary and sufficient condition for the validity of a standard categorical syllogism. We have only found motivations for the necessary condition. The main goal of this work is to provide a foundation of these rules using the notion of set as well as Venn diagrams, a concept and a technique exposed in the main textbooks of logic, including the aforementioned. (shrink)

Consider a certain red rose. The proposition that the rose is red is true because the rose is red. One might say as well that the proposition that the rose is red is made true by the rose’s being red. This, it has been thought, does not commit one to a truthmaker of the proposition that the rose is red. For there is no entity that makes the proposition true. What makes it true is how the rose is, and how (...) the rose is is not an entity over and above the rose. It is against this view that I shall argue in this paper. I shall argue that a significant class of true propositions, including inessential predications like the proposition that the rose is red, are made true by entities. "No truthmaking without truthmakers" is my slogan. Although I have my view about what kinds of entities are truthmakers, I shall not argue for or presuppose that view here. All I shall argue for here is that if a proposition is made true by something, it is made true by some thing, but my argument will leave it open what kind of thing that thing is: it could be a fact or state of affairs, a trope, or any other sort of entity. (shrink)

Replies to commentators Respuestas a los comentarios críticos de Carlos Patarroyo, Mirja Pérez de Calleja y Pablo Rychter.

The complex world of thought and sensitivity in the sphere of contemporary art has entailed the revision and exclusion of disciplines aimed at providing a model to explain and conceptualize reality. Art history, as one such discipline, has had many of its contributions questioned from Gombrich’s epistemological reformulation to the postmodern discourses, which extol the death of the author, the post-structuralist idea of tradition as a textual phenomenon, and the declaration of the death of history as a consequence of the (...) hybridization of disciplines and of other bran- ches of human knowledge. Nevertheless, it can be demonstrated that proposals as those by Julius von Schlosser and Giulio Carlo Argan enclose reflections and methodological aspects which can help us face the task of understanding and visualizing the mediating role of historians in the culture of sensitivity, and the art modulations that have resulted from the blows of history and that, in turn, have shaped both art and art history into what they are or can be to us today. (shrink)

1. The Bundle Theory I shall discuss is a theory about the nature of substances or concrete particulars, like apples, chairs, atoms, stars and people. The point of the Bundle Theory is to avoid undesirable entities like substrata that allegedly constitute particulars. The version of the Bundle Theory I shall discuss takes particulars to be entirely constituted by the universals they instantiate.' Thus particulars are said to be just bundles of universals. Together with the claim that it is necessary that (...) particulars have constituents, the fundamental claim of the Bundle Theory is: (BT) Necessarily, for every particular x and every entity y, y constitutes x if and only ify is a universal and x instantiates y. 2 The standard and supposedly devastating objection to the Bundle Theory is that it entails or is committed to a false version of the Principle of Identity of Indiscernibles (Armstrong 1978: 91, Loux 1998: 107), namely: (Pll) Necessarily, for all particulars x and y and every universal z, if z is instantiated by x if and only if z is instantiated byy, then x is numerically identical with y. The most famous counterexample to the Identity of Indiscernibles is that put forward by Max Black, consisting of a world where there are only two iron spheres two miles apart from each other, having the same diameter, temperature, colour, shape, size, etc (Black 1952: 156). Let us from now on think of the properties of the spheres in this world as universals. The possibility of this world, which I shall hereafter refer to as 'Black's world', makes (Pll) false.' And according to common philosophical opinion this means that the Bundle Theory is false.. (shrink)

Some metaphysicians believe that metaphysical modality is explainable by the essences of objects. In §II, I spell out the definitional view of essence, and in §III, a working notion of metaphysical explanation. Then, in §IV, I consider and reject five natural ways to explain necessity by essence: in terms of the principle that essential properties can't change, in terms of the supposed obviousness of the necessity of essential truth, in terms of the logical necessity of definitions, in terms of Fine's (...) logic of essence, and in terms of the theory of real definitions. I will conclude that the present evidence favours rejecting the hypothesis that modality is explainable by essence. (shrink)

The paper argues that grounding is neither irreflexive, nor asymmetric, nor transitive. In arguing for that conclusion the paper also arguesthat truthmaking is neither irreflexive, nor asymmetric, nor transitive.

This bulletin contains a summary of the main topics of discussion in truthmaker theory, namely: the definition of truthmakers, problems with Truthmaker Necessitarianism and Truthmaker Maximalism, the ontological burden of truthmakers and the recalcitrant topic of truthmakers for negative truths.

En el ámbito de la lógica matemática existe un problema sobre la relación lógica entre dos versiones débiles del Axioma de elección (AE) que no se ha podido resolver desde el año 2000 (aproximadamente). Tales versiones están relacionadas con ultrafiltros no principales y con Propiedades Ramsey (Bernstein, Polarizada, Subretículo, Ramsey, Ordinales flotantes, etc). La primera versión débil del AE es la siguiente (A): “Existen ultrafiltros no principales sobre el conjunto de los números naturales (ℕ)”. Y la segunda versión débil del (...) AE es la siguiente (B): “Existen ultraflitros sobre ℕ”. Se sabe que A implica B, pero se desconoce si B implica A. Di Prisco y Henle conjeturan en los artículos ([1], [2]) que esto no ocurre, es decir, conjeturan que B no implica A, en otras palabras, conjeturan que A es más fuerte estrictamente que B, que A es independiente de B, pero esto no se ha podido demostrar todavía aunque se ha intentado hacer desde hace aproximadamente 21 años. Una descripción detallada de este problema abierto puede encontrarse en esta ponencia (dictada en el marco del Día Mundial de la Lógica 14-01-2022) y en el artículo [3]. [1] C. Di Prisco y H. Henle. “Doughnuts, Floating Ordinals, Square Brackets, and Ultraflitters”. Journal of Symbolic Logic 65 (2000) 462-473. [2] C. Di Prisco y H. Henle. “Partitions of the reals and choice”. En “Models, algebras and proofs”. X. Caicedo y C.M. Montenegro. Eds. Lecture Notes in Pure and Appl. Math, 203, Marcel Dekker, 1999. [3] F. Galindo. “Tópicos de ultrafiltros”. Divulgaciones Matemáticas. Vol. 21, No 1-2, 2020. (shrink)

El objetivo de este artículo es presentar una demostración de un teorema clásico sobre álgebras booleanas y ordenes parciales de relevancia actual en teoría de conjuntos, como por ejemplo, para aplicaciones del método de construcción de modelos llamado “forcing” (con álgebras booleanas completas o con órdenes parciales). El teorema que se prueba es el siguiente: “Todo orden parcial se puede extender a una única álgebra booleana completa (salvo isomorfismo)”. Donde extender significa “sumergir densamente”. Tal demostración se realiza utilizando cortaduras de (...) Dedekind siguiendo el texto “Set Theory” de Jech, y otras ideas propias del autor de este artículo. Adicionalmente, se formulan algunas versiones débiles del axioma de elección relacionadas con las álgebras booleanas, las cuales son también de gran importancia para la investigación en teoría de conjuntos y teoría de modelos, pues estas son poderosas técnicas de construcción de modelos, como por ejemplo, el teorema de compacidad (permite construir modelos no estándar, etc) y el teorema del ultrafiltro, que permite construir ultraproductos (pueden ser usados para investigar problemas de cardinales grandes, etc). Se presentan algunas referencias de problemas abiertos sobre el tema. -/- The objective of this paper is to present a demonstration of a classical theorem on boolean algebras and partial orders of current relevance in set theory, as for example, for applications of model construction method called forcing" (with boolean algebras complete or with partial orders). The theorem to be proved is as follows: Any partial order can be extended to a single complete boolean algebra (up to isomorphism)". Where to extend means embed densely". Such a demonstration is done using Dedekind's cuts following the text Set Theory" of Jech, and other ideas of the author of this article. In addition, some weak versions of the axiom of choice related to boolean algebras are formulated, which are also of great importance for the research in set theory and model theory, since this are powerful model construction techniques, such as the compactness theorem (allows the construction of non-standard models, etc.) and the ultralter theorem, which allows the construction of ultraproducts (can be used to investigate problems of large cardinals, etc). Some references of open problems on the subject are presented. (shrink)

The resemblance nominalist says that the truthmaker of 〈Socrates is white〉 ultimately involves only concrete particulars that resemble each other. Furthermore he also says that Socrates and Plato are the truthmakers of 〈Socrates resembles Plato〉, and Socrates and Aristotle those of 〈Socrates resembles Aristotle〉. But this, combined with a principle about the truthmakers of conjunctions, leads to the apparently implausible conclusion that 〈Socrates resembles Plato and Socrates resembles Aristotle〉 and 〈Socrates resembles Plato and Plato resembles Aristotle〉 have the same truthmakers, (...) namely, Socrates, Plato and Aristotle. I shall argue that the resemblance nominalist can say that those conjunctions have the same truthmakers but these truthmakers make them true in different ways. I shall also use this view to account for the truthmakers of propositions like 〈Socrates is white〉, and respond to previous objections by Cian Dorr and Jessica Wilson. (shrink)

Peter Milne has tried to refure Truthmaker Maximalism. the thesis that every truth has a truthmaker, by producing a simple and direct counterexample to it, the sentence M: This sentence has no truthmaker. I argue that, contrary to what Milne argues, on Truthmaker Maximalism M is equivalent to the Liar, which gives the truthmaker maximalist a way to defend his position from Milne's counterexample: to argue that M expresses no proposition.

El objetivo principal de este artículo es presentar la demostración directa del Teorema de compacidad de la Lógica de primer orden (Gama tiene un modelo si y sólo si cada subconjunto finito de Gama tiene un modelo) que se realiza utilizando el Método de construcción de modelos llamado "Ultraproductos" que, a su vez, usa "Ultrafiltros". Actualmente es más común demostrar el Teorema de compacidad como un corolario del Teorema de completitud de Gödel y usar el método de reducción al absurdo (...) para probarlo. Sin embargo, vale la pena estudiar también esta prueba directa que usa Ultraproductos porque dicha técnica tiene importantes aplicaciones en investigaciones contemporáneas de matemáticas, por ejemplo en la Teoría de conjuntos y en el Análisis. Al final del artículo se realiza un breve comentario sobre Compacidad, Ultraproductos, Cardinales grandes y Modelos no estándar. (shrink)

El artículo analiza el papel del resentimiento en la Teoría de los sentimientos morales de Adam Smith y su conexión con el proceso de la simpatía mutua por medio del cual el “espectador imparcial” asume plenamente el resentimiento de la víctima, al considerar que su pasión se rige por los principios de la propiedad y la justicia. Se sostiene que el resentimiento no solo cumple un rol central en la teoría del castigo de Adam Smith, en la medida en que (...) permite retribuir, disuadir y rehabilitar al victimario sino que, además, aporta a la discusión contemporánea sobre el perdón y la reconciliación, pues convoca la posibilidad de superar el resentimiento y restablecer las relaciones sociales entre el agresor y la víctima. (shrink)

According to one of Leibniz's theories of contingency a proposition is contingent if and only if it cannot be proved in a finite number of steps. It has been argued that this faces the Problem of Lucky Proof , namely that we could begin by analysing the concept ‘Peter’ by saying that ‘Peter is a denier of Christ and …’, thereby having proved the proposition ‘Peter denies Christ’ in a finite number of steps. It also faces a more general but (...) related problem that we dub the Problem of Guaranteed Proof . We argue that Leibniz has an answer to these problems since for him one has not proved that ‘Peter denies Christ’ unless one has also proved that ‘Peter’ is a consistent concept, an impossible task since it requires the full decomposition of the infinite concept ‘Peter’. We defend this view from objections found in the literature and maintain that for Leibniz all truths about created individual beings are contingent. (shrink)

Ultrafilters are very important mathematical objects in mathematical research [6, 22, 23]. There are a wide variety of classical theorems in various branches of mathematics where ultrafilters are applied in their proof, and other classical theorems that deal directly with ultrafilters. The objective of this article is to contribute (in a divulgative way) to ultrafilter research by describing the demonstrations of some such theorems related (uniquely or in combination) to topology, Measure Theory, algebra, combinatorial infinite, set theory and first-order logic, (...) also formulating some updated open problems of set theory that refer to non-principal ultrafilters on N, the Mathias’s model and the Solovay’s model. -/- Resumen: Los ultrafiltros son objetos matemáticos muy importantes en la investigación matemática [6, 22, 23]. Existen una gran variedad de teoremas clásicos en diversas ramas de la matemática donde se aplican ultrafiltros en su demostración, y otros teoremas clásicos que tratan directamente sobre ultrafiltros. El objetivo de este artículo es contribuir (de una manera divulgativa) con la investigación sobre ultrafiltros describiendo las demostraciones de algunos de tales teoremas relacionados (de manera única o combinada) con topología, teoría de la medida, álgebra, combinatoria infinita, teoría de conjuntos y lógica de primer orden, formulando además algunos problemas abiertos actuales de la teoría de conjuntos que se refieren a ultrafiltros no principales sobre N, al Modelo de Mathias y al Modelo de Solovay. (shrink)

El estudio de los "cardinales grandes" es uno de los principales temas de investigación de la teoría de conjuntos y de la teoría de modelos que ha contribuido con el desarrollo de dichas disciplinas. Existe una gran variedad de tales cardinales, por ejemplo cardinales inaccesibles, débilmente compactos, Ramsey, medibles, supercompactos, etc. Tres valiosos teoremas clásicos sobre cardinales medibles son los siguientes: (i) compacidad débil, (ii) Si κ es un cardinal medible, entonces κ es un cardinal inaccesible y existen κ cardinales (...) inaccesibles menores que κ , y (iii) Si existe un cardinal medible, entonces el axioma de constructibilidad (V=L) es falso. El objetivo de este artículo es presentar una demostración de cada uno de estos tres teoremas en el contexto de la teoría de modelos usando ideas del texto de Chang y Keisler (Model Theory). Tales demostraciones tienen en común el uso del método de construcción de modelos llamado ultraproductos, de lógicas infinitarias o fragmentos de la lógica de segundo orden, y del axioma de elección. Cardinales grandes y/o ultraproductos son importantes en teoría de conjuntos, teoría de modelos, análisis matemático, teoría de la medida, probabilidades, topología, análisis funcional, física, teoría de números, finanzas, etc. (shrink)

Para matemáticos interesados en problemas de fundamentos, lógico-matemáticos y filósofos de la matemática, el axioma de elección es centro obligado de reflexión, pues ha sido considerado esencial en el debate dentro de las posiciones consideradas clásicas en filosofía de la matemática (intuicionismo, formalismo, logicismo, platonismo), pero también ha tenido una presencia fundamental para el desarrollo de la matemática y metamatemática contemporánea. Desde una posición que privilegia el quehacer matemático, nos proponemos mostrar los aportes que ha tenido el axioma en varias (...) áreas fundamentales de la matemática, su aplicación en la lógica de primer orden, así como una breve descripción de las pruebas de consistencia relativa debidas a Gödel y Cohen, las cuales establecieron su independencia del sistema axiomático Zermelo-Fraenkel (ZF). Con todo lo anterior mostraremos cómo el quehacer matemático contemporáneo se adscribe al platonismo matemático en los términos de Bernays y Ferreirós. Revisaremos también los argumentos de Zermelo y Cantor para permitir el uso de asunciones en la matemática, los cuales se acercan a los planteamientos de la investigación científica y esbozan relaciones con la filosofía de la práctica matemática. Finalmente, justificamos el uso del axioma de elección en la contemporaneidad, abogando por unas relaciones de equidad entre la matemática y la filosofía, presentando además su plena vigencia, a través de la referencia a algunos problemas abiertos en la actualidad que vinculan el axioma de elección con la teoría de Ramsey. (shrink)

The objective of this document is to present three introductory notes on set theory: The first note presents an overview of this discipline from its origins to the present, in the second note some considerations are made about the evaluation of reasoning applying the first-order Logic and Löwenheim's theorems, Church Indecidibility, Completeness and Incompleteness of Gödel, it is known that the axiomatic theories of most commonly used sets are written in a specific first-order language, that is, they are developed within (...) the framework of first-order logic, so this note is relevant; and the third note refers to the presence of mathematical platonism in the axioms of ZFC and in the axioms of "complete ordered field", it is known that the last axioms mentioned characterize (except isomorphism) the real number system and are currently used to develop the real Analysis in the context of set theory. It is hoped that this article will be of pedagogical utility for students interested in set theory and in the philosophy of mathematics (that are beginning in the subject). (shrink)

En este artículo se presentan dos demostraciones del teorema de interpolación: Una para la lógica proposicional y otra para la lógica de primer orden. Ambas se realizan en el contexto de la teoría de modelos. El teorema de interpolación afirma que si A y B son fórmulas, donde A no es una contradicción, B no es válida, y B es una consecuencia lógica de A, entonces existe una fórmula C que esta escrita en el lenguaje común al de A y (...) de B, tal que C es una consecuencia lógica de A y B es una consecuencia lógica de C. El teorema de interpolación fue demostrado por primera vez para la lógica de primer orden por William Craig en 1957, y desde entonces se ha investigado la posibilidad de generalizarlo o aplicarlo. Dicho teorema tiene generalizaciones o aplicaciones en teoría de la demostración, teoría de modelos abstracta, ciencias de la computación, lógica modal, lógica intuicionista, etc. Se presentan ejemplos de aplicaciones o generalizaciones de la propiedad de interpolación relacionados con lógicas infinitarias, cuantificadores generalizados, segundo orden, no clásicas, abstractas, etc. También se ofrecen referencias de problemas abiertos sobre interpolación en el contexto de la teoría de modelos abstracta. (shrink)

En este artículo realizamos una reconstrucción del Programa original de Hilbert antes del surgimiento de los teoremas limitativos de la tercera década del siglo pasado. Para tal reconstrucción empezaremos por mostrar lo que Torretti llama los primeros titubeos formales de Hilbert, es decir, la defensa por el método axiomático como enfoque fundamentante. Seguidamente, mostraremos como estos titubeos formales se establecen como un verdadero programa de investigación lógico-matemático y como dentro de dicho programa la inquietud por la decidibilidad de los problemas (...) matemáticos y en específico la decidibilidad de la Lógica de primer orden cobra peso. Luego pasamos a analizar como la inquietud por la decibilidad toma lugar dentro del pensamiento filosófico-matemático de Hilbert presentándose como uno de los grandes problemas a los cuales la metamatemática debe encontrar una solución, esto lo hacemos mostrando un contraste con autores, como John von Neumann y Roberto Torretti, quienes de alguna u otra manera no interpretan el problema de la decidibilidad de la Lógica de primer orden como un problema de peso dentro del programa original de Hilbert. Finalmente argumentamos que el resultado meta-teórico de Church puede entenderse como una refutación del optimismo intelectual que permea a todo el programa original de Hilbert. (shrink)

In this chapter I shall reply to a pair of articles in which the main contention of my “Why truthmakers” – namely, that an important class of synthetic true propositions have entities as truth-makers – is rejected. In §§1–5 I reply to Jennifer Hornsby’s “Truth without Truthmaking Entities” (2005) and in §§6–7 I reply to Julian Dodd’s “Negative Truths and Truthmaker Principles” (2007).

The objective of this article is to present an original proof of the following theorem: Thereis a generic extension of the Solovay’s model L(R) where there is a linear order of P(N)/fin that extends to the partial order (P(N)/f in), ≤*). Linear orders of P(N)/fin are important because, among other reasons, they allow constructing non-measurable sets, moreover they are applied in Ramsey's Theory .

El objetivo principal de este trabajo es presentar el sistema lógico que resulta de extender, de una manera natural, a la Silogística con la Lógica proposicional, y demostrar que tal extensión se puede caracterizar como un sistema axiomático. Los axiomas que se utilizan son los de Jan Łukasiewicz , y la completitud de tal sistema de axiomas se prueba utilizando un método análogo al método del conjunto maximal consistente con testigos de Henkin, siguiendo algunas ideas que utiliza John Corcoran para (...) probar que su sistema de reglas de inferencia para la Silogística es completo. (shrink)

El objetivo de este artículo es presentar dos tópicos de Lógica matemática y sus fundamentos: El primer tópico es una actualización de la demostración de Alonzo Church del Teorema de completitud de Gödel para la Lógica de primer orden, la cual aparece en su texto "Introduction to Mathematical Logic" (1956) y usa el procedimientos efectivos de Forma normal prenexa y Forma normal de Skolem; y el segundo tópico es una demostración de que la propiedad de partición (tipo Ramsey) del espacio (...) topológico de Baire llamada "Propiedad de partición polarizada" es falsa en el Modelo Básico de Cohen. (shrink)

The subtraction argument, originally put forward by Thomas Baldwin (1996), is intended to establish Metaphysical Nihilism, the thesis that there could have been no concrete objects. Some modified versions of the argument have been proposed in order to avoid some difficulties faced by the original argument. In this paper I shall concentrate on two of those versions, the so-called subtraction argument* (presented and defended in Rodriguez-Pereyra 1997, 2000, 2002), and Efird and Stoneham’s recent version of the argument (Efird and (...) Stoneham 2005). I shall defend the subtraction argument* from Alexander Paseau’s (2006) objection that because a crucial premise of the subtraction argument* may have no plausibility independent from Metaphysical Nihilism, the subtraction argument* is not suasive. Although Paseau focuses on the subtraction argument*, I shall point out that Efird and Stoneham could reply to Paseau’s objection in the same way. Thus there are (at least) two suasive versions of the subtraction argument that establish Metaphysical Nihilism. But are those two arguments equally good? I shall argue that the subtraction argument* is preferable to Efird and Stoneham’s argument. (shrink)

Dialogamos con Cintia Rodríguez Garat, quien obtuvo el Primer Premio Bioética 2023 de la Fundación Jaime Roca por su trabajo “Resiliencia y salud pública de las mujeres mapuce ante el cambio climático. Un análisis desde una perspectiva intercultural, participativa y de derechos humanos”.

Bertrand Russell argued that any attempt to get rid of universals in favor of resemblances fails. He argued that no resemblance theory could avoid postulating a universal of resemblance without falling prey to a vicious infinite regress. He added that admitting such a universal of resemblance made it pointless to avoid other universals. In this paper I defend resemblance nominalism from both of Russell's points by arguing that (a) resemblance nominalism can avoid the postulation of a universal of resemblance without (...) falling into a vicious infinite regress, and (b) even if resemblance nominalism had to admit a universal of resemblance, this would not make it pointless to avoid postulating other universals. (shrink)

En este trabajo matemático-filosófico se estudian cuatro tópicos de la Lógica matemática: El método de construcción de modelos llamado Ultraproductos, la Propiedad de Interpolación de Craig, las Álgebras booleanas y los Órdenes parciales separativos. El objetivo principal del mismo es analizar la importancia que tienen dichos tópicos para el estudio de los fundamentos de la matemática, desde el punto de vista del platonismo matemático. Para cumplir con tal objetivo se trabajará en el ámbito de la Matemática, de la Metamatemática y (...) de la Filosofía de la matemática. El desarrollo de la investigación arrojó como resultado que tales tópicos son muy importantes para el estudio de los fundamentos de la matemática, desde el punto de vista del platonismo matemático, y en el trabajo se explica detalladamente con abundantes ejemplos el porqué (al final de cada sección y al final del mismo). (shrink)

Es conocido que el método de forcing es una de las técnicas de construcción de modelos más importantes de la Teoría de conjuntos en la actualidad, siendo el mismo muy útil para investigar problemas de matemática y/o de fundamentos de la matemática. El destacado matemático Joan Bagaria afirma lo siguiente sobre el método de forcing en su artículo "Paul Cohen y la técnica del forcing" (Gaceta de la Real Sociedad Matemática Española, Vol. 2, Nº 3, 1999, págs 543-553) : "Aunque (...) Cohen recibió la medalla Fields por su demostración de la independencia de la hipótesis del continuo y del axioma de elección, su contribución va mucho más allá de estos problemas. Su nuevo método, el forcing, no sólo ha permitido resolver un sinfín de problemas importantes en prácticamente todas las áreas de las matemáticas, si no que ha cambiado para siempre nuestra concepción de la matemática como ciencia". El objetivo principal del siguiente trabajo es estudiar el método de forcing describiendo algunas de sus aplicaciones (forcing de Cohen, forcing aleatorio, forcing de Mathias, forcing de Sacks, forcing de Silver, etc.), y ofreciendo una aproximación a sus fundamentos metamatemáticos. Se aspira que estas notas sirvan de apoyo para aprender dicho método. (shrink)

Es conocido que el Teorema de Completitud de Gödel, el Teorema del Colapso Transitivo de Mostowski y el Principio de Reflexión son resultados muy útiles en las investigaciones de Lógica matemática y/o los Fundamentos de la matemática. El objetivo de este trabajo es presentar algunas demostraciones clásicas de tales resultados: Dos del Teorema de Completitud de Gödel, una del Teorema del Colapso Transitivo de Mostowski y una del Principio de Reflexión. Se aspira que estas notas sean de utilidad para estudiar (...) dichas pruebas. Vale la pena resaltar que entre los métodos matemáticos que se utilizan en tales demostraciones se encuentran: (1) La técnica de construcción de modelos a partir de constantes (o "método del conjunto maximal consistente con un conjunto de testigos" de Henkin) y (2) el Principio de inducción matemática en varias versiones [ (2.1) Inducción matemática sobre los números naturales y (2.2) Inducción transfinita ((2.2.1) Inducción transfinita sobre conjuntos bien ordenados cualesquiera, por ejemplo sobre un cardinal infinito Alef_alfa, (2.2.2) Inducción transfinita sobre una clase de conjuntos bien ordenada, por ejemplo sobre la "clase de todos los ordinales, finitos o infinitos", y (2.2.3) Inducción transfinita sobre relaciones bien fundamentadas, por ejemplo sobre la "relación de pertenencia" entre conjuntos)]. (shrink)

La siguiente ponencia-taller tiene por finalidad explicar cómo podría aplicarse el Método de George Polya para resolver problemas (matemáticos) en el contexto de la Lógica Matemática, especialmente en la lógica Matemática elemental (la lógica de primer orden con identidad). Es una propuesta pedagógica experimental (además de las ya existentes) que tal vez pueda ser útil para la enseñanza de la lógica matemática en ciencias o en humanidades. Dicha ponencia se presentó (vía web) con motivo de la celebración del Día Mundial (...) de Lógica 2022 en dos ocasiones: En la Universidad Central de Venezuela (Venezuela) y en la Universidad Mayor de San Andrés (Logic & Analytics Group - La Paz y La Sociedad Científica de Filosofía de la UMSA, Bolivia). Es un proyecto pedagógico en construcción. (shrink)

Since 1968, the irreversible loss of functioning of the whole brain, called brain death, is assimilated to individual’s death. The almost universal acceptance of this neurological criterion of death had decisive consequences for the contemporary medicine, such as the withdrawal of mechanical ventilation in these patients and organ retrieval for transplantation. The new criterion was successfully accepted in part because the assimilation of brain death state to death was presented by medicine --and acritically assumed by most of societies-- as a (...) scientific and objective fact. Nevertheless, many people do not think that the patients suffering brain death are actually dead. We show here that those people are not necessarily wrong. It can be argued that, in fact, the justification of the neurological criterion is not scientific but moral. We outline the thesis that the problem surrounding the vital status of brain dead patients is due to a confusion between factual and normative questions. Furthermore, we claim that the donation of organs and the withdrawal of life-support could be ethically acceptable even if the patients suffering brain death are considered as alive. As an alternative to the dead donor rule, we propose a justification for organ donation of brain-dead patients based on the (moral) concepts of harm and consent : what truly justifies the procurement of organs on those patients is not that they are dead, but that they wish to donate their organs and that, since they have irreversibly lost their brain, they cannot be harmed. (shrink)

Leibniz was a philosopher of principles: the principles of Contradiction, of Sufficient Reason, of Identity of Indiscernibles, of Plenitude, of the Best, and of Continuity are among the most famous Leibnizian principles. In this article I shall focus on the first three principles; I shall discuss various formulations of the principles (sect. 1), what it means for these theses to have the status of principles or axioms in Leibniz’s philosophy (sect. 2), the fundamental character of the Principles of Contradiction and (...) Sufficient Reason (sect. 3), some attempts to demonstrate the Principles of Contradiction and Sufficient Reason (sect. 4), and one attempt to demonstrate the Principle of Identity of Indiscernibles (sect. 5). The main results of the chapter are summarized in a short conclusion (sect. 6). (shrink)

This paper explores the scope and limits of rational consensus through mutual respect, with the primary focus on the best known formal model of consensus: the Lehrer–Wagner model. We consider various arguments against the rationality of the Lehrer–Wagner model as a model of consensus about factual matters. We conclude that models such as this face problems in achieving rational consensus on disagreements about unknown factual matters, but that they hold considerable promise as models of how to rationally resolve non-factual disagreements.